88 research outputs found
Partial Strategyproofness: Relaxing Strategyproofness for the Random Assignment Problem
We present partial strategyproofness, a new, relaxed notion of
strategyproofness for studying the incentive properties of non-strategyproof
assignment mechanisms. Informally, a mechanism is partially strategyproof if it
makes truthful reporting a dominant strategy for those agents whose preference
intensities differ sufficiently between any two objects. We demonstrate that
partial strategyproofness is axiomatically motivated and yields a parametric
measure for "how strategyproof" an assignment mechanism is. We apply this new
concept to derive novel insights about the incentive properties of the
probabilistic serial mechanism and different variants of the Boston mechanism.Comment: Working Pape
Improved Memory-Bounded Dynamic Programming for Decentralized POMDPs
Memory-Bounded Dynamic Programming (MBDP) has proved extremely effective in
solving decentralized POMDPs with large horizons. We generalize the algorithm
and improve its scalability by reducing the complexity with respect to the
number of observations from exponential to polynomial. We derive error bounds
on solution quality with respect to this new approximation and analyze the
convergence behavior. To evaluate the effectiveness of the improvements, we
introduce a new, larger benchmark problem. Experimental results show that
despite the high complexity of decentralized POMDPs, scalable solution
techniques such as MBDP perform surprisingly well.Comment: Appears in Proceedings of the Twenty-Third Conference on Uncertainty
in Artificial Intelligence (UAI2007
The Pareto Frontier for Random Mechanisms
We study the trade-offs between strategyproofness and other desiderata, such
as efficiency or fairness, that often arise in the design of random ordinal
mechanisms. We use approximate strategyproofness to define manipulability, a
measure to quantify the incentive properties of non-strategyproof mechanisms,
and we introduce the deficit, a measure to quantify the performance of
mechanisms with respect to another desideratum. When this desideratum is
incompatible with strategyproofness, mechanisms that trade off manipulability
and deficit optimally form the Pareto frontier. Our main contribution is a
structural characterization of this Pareto frontier, and we present algorithms
that exploit this structure to compute it. To illustrate its shape, we apply
our results for two different desiderata, namely Plurality and Veto scoring, in
settings with 3 alternatives and up to 18 agents.Comment: Working Pape
Fast Iterative Combinatorial Auctions via Bayesian Learning
Iterative combinatorial auctions (CAs) are often used in multi-billion dollar
domains like spectrum auctions, and speed of convergence is one of the crucial
factors behind the choice of a specific design for practical applications. To
achieve fast convergence, current CAs require careful tuning of the price
update rule to balance convergence speed and allocative efficiency. Brero and
Lahaie (2018) recently introduced a Bayesian iterative auction design for
settings with single-minded bidders. The Bayesian approach allowed them to
incorporate prior knowledge into the price update algorithm, reducing the
number of rounds to convergence with minimal parameter tuning. In this paper,
we generalize their work to settings with no restrictions on bidder valuations.
We introduce a new Bayesian CA design for this general setting which uses Monte
Carlo Expectation Maximization to update prices at each round of the auction.
We evaluate our approach via simulations on CATS instances. Our results show
that our Bayesian CA outperforms even a highly optimized benchmark in terms of
clearing percentage and convergence speed.Comment: 9 pages, 2 figures, AAAI-1
On the Sybil-Proofness of Accounting Mechanisms
A common challenge in distributed work systems like P2P file-sharing communities, or ad-hoc routing networks, is to minimize the number of free-riders and incentivize contributions. Without any centralized monitoring it is difficult to distinguish contributors from free-riders. One way to address this problem is via accounting mechanisms which rely on voluntary reports by individual agents and compute a score for each agent in the network. In Seuken et al. [11], we have recently proposed a mechanism which removes any incentive for a user to manipulate the mechanism via misreports. However, we left the existence of sybil-proof accounting mechanisms as an open question. In this paper, we settle this question, and show the striking impossibility result that under reasonable assumptions no sybil-proof accounting mechanism exists. We show, that a significantly weaker form of K-sybil-proofness can be achieved against certain classes of sybil attacks. Finally, we explain how limited robustness to sybil manipulations can be achieved by using max-flow algorithms in accounting mechanism design.Engineering and Applied Science
- …